Assuming

Assuming[assum,expr] evaluates expr with assum appended to $Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify, and Integrate. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.